trailing zeros in a factorial